<html>
  <head>
    <title>About Herbgrind</title>
    <link rel="stylesheet" type="text/css" href="main.css">
    <meta name="viewport" content="width=device-width, initial-scale=1"/>
  </head> 
    <h4>From the team that brought you <a href="http://herbie.uwplse.org"><img src="http://herbie.uwplse.org/logo.png" align="middle" style="width:10%"></a></h4>
    <h1>Herbgrind</h1>
  <a href="http://uwplse.github.io/herbgrind/">
    <img src="logo.jpg" style="display: block; margin: 0 auto; width:50%">
  </a>

    <h2>About Herbgrind</h2>
    <p class="bodytext">
      Herbgrind grew out of an effort to explore the usage of floating
      point tools
      like <a href="http://herbie.uwplse.org/">Herbie</a>, <a href="https://www.researchgate.net/project/Automatic-program-transformations-for-accuracy-improvement">Salsa</a>, <a href="https://arxiv.org/pdf/1410.0198.pdf">Rosa</a>,
      and <a href="http://formalverification.cs.utah.edu/papers/fptaylor_report.pdf">FPTaylor</a>,
      on large numerical software. Herbgrind is built
      on <a href="http://valgrind.org">Valgrind</a>, and draws
      inspiration
      from <a href="https://github.com/fbenz/FpDebug">FpDebug</a>. It
      was developed by <a href="http://cseweb.ucsd.edu/~alexss/">Alex
      Sanchez-Stern</a>, <a href="http://pavpanchekha.com/">Pavel
      Panchekha</a>, <a href="http://cseweb.ucsd.edu/~lerner/">Sorin
      Lerner</a>,
      and <a href="https://homes.cs.washington.edu/~ztatlock/">Zach
      Tatlock</a>. Herbgrind is part of the Herbie Project, so it's
      also documented on
      the <a href="http://herbie.uwplse.org">Herbie</a> site.
    </p>
</html>
